- детерминированная машина Тьюринга
-
детерминированная машина Тьюринга
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- deterministic Turing machine
Справочник технического переводчика. – Интент. 2009-2013.
Детерминированная машина Тьюринга — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… … Википедия
Недетерминированная машина Тьюринга — Машина Тьюринга Варианты машин Универсальная машина Тьюринга Квантовая машина Тьюринга en:Read only Turing machine en:Read only right moving Turing Machines Вероятностная машина Тьюринга Недетер … Википедия
Теорема Сэвича — (1970): NSPACE(f(n)) ⊆ DSPACE(f²(n)). То есть, если недетерминированная машина Тьюринга может решить проблему используя f(n) памяти, то детерминированная машина Тьюринга сможет это сделать, за квадрат памяти. Следствия PSPACE = NPSPACE NL ⊆ L²… … Википедия
Класс co-NP — В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, класс дополнений языков из NP, называемый co NP. Формальное определение Класс сложности co NP определяется для множества языков, то есть множеств слов над конечным… … Википедия
Класс сo-NP — В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, класс дополнений языков из NP, называемый co NP. Формальное определение Класс сложности co NP определяется для множества языков, т.е. множеств слов над конечным алфавитом… … Википедия